диаграмма истинности

См. также в других словарях:

• диаграмма истинности — таблица истинности — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы таблица истинности EN truth diagram …   Справочник технического переводчика

• Бинарная диаграмма решений — (БДР) или программа с ветвлением является формой представления булевой функции от переменных в виде направленного ациклического графа, состоящего из внутренних узлов решений (помеченных ), каждый из которых имеет по два потомка, и двух… …   Википедия

• логический квадрат — диаграмма, служащая для мнемонического запоминания некоторых логических соотношений между общеутвердительными (A), общеотрицательными (Е), частноутвердительными (I) и частноотрицательными суждениями (О). Логический квадрат показан на рисунке.… …   Словарь терминов логики

• квадрат противоположностей — диаграмма, служащая для мнемонического запоминания некоторых логических соотношений между общеутвердительными (A), общеотрицательными (Е), частноутвердительными (I) и частноотрицательными суждениями (О). Логический квадрат показан на рисунке.… …   Словарь терминов логики

• ФУКО — 1. ФУКО (Foucault) Мишель (Поль Мишель) (1926 1984) французский философ, теоретик культуры и историк. Окончил Высшую нормальную школу. Лиценциат по философии (1948) и по психологии (1949) в Сорбонне. Диплом по психопатологии Парижского института… …   История Философии: Энциклопедия

• ФУКО — ( Foucault , 1986) сочинение Ж.Делеза . Книга состоит из двух частей. В первой От архива к диаграмме размещены две статьи ( Новый архивариус , Новый картограф ), написанные Делезом еще при жизни Фуко и явившиеся, соответственно, откликами на… …   Социология: Энциклопедия

• ФУКО — ( Foucault , 1986) сочинение Делеза. Книга состоит из двух частей. В первой От архива к диаграмме размещены две статьи ( Новый архивариус , Новый картограф ), написанные Делезом еще при жизни Фуко и явившиеся, соответственно, откликами на работы… …   История Философии: Энциклопедия

• Проверка статистических гипотез — Проверки статистических гипотез  один из классов задач в математической статистике. Содержание 1 Статистические гипотезы 1.1 Определения 1.2 Пример …   Википедия

• Rete — эффективный алгоритм сопоставления с образцом для продукционных систем, экспертных систем и баз знаний , созданный Чарльзом Форги из Университета Карнеги Меллона. Впервые был описан в рабочем документе 1974 года, затем в докторской диссертации… …   Википедия

• Алгоритм Rete — Rete[1]  эффективный алгоритм сопоставления с образцом для продукционных систем, экспертных систем и баз знаний, созданный Чарльзом Форги из Университета Карнеги Меллона. Впервые был описан в рабочем документе 1974 года, затем в докторской… …   Википедия

• Критерий Лиллиефорса — статистический критерий, названный по имени Хьюберта Лиллиефорса, профессора статистики Университета Джорджа Вашингтона, являющийся модификацией критерия Колмогорова–Смирнова. Используется для проверки нулевой гипотезы о том, что выборка… …   Википедия